Posets for Conngurations!
نویسنده
چکیده
We deene families of posets, ordered by preexes, as the counterpart of the usual families of conngurations ordered by subsets. On these objects we deene two types of morphism: event and order morphisms, resulting in categories FPos and FPos v. We then show the following: { Families of posets, in contrast to families of conngurations, are always prime algebraic; in fact the category FPos v is equivalent to the category of prime algebraic domains; { On the level of events, FPos is equivalent to the category of prime algebraic domains with an additional relation encoding event identity. { The (abstract) event identity relation can be used to characterize concrete relations between events such as binary connict and causal ow; { One can characterize a wide range of event-based models existing in the literature as families of posets satisfying certain speciic structural conditions formulated in terms of event identity.
منابع مشابه
COGENERATOR AND SUBDIRECTLY IRREDUCIBLE IN THE CATEGORY OF S-POSETS
In this paper we study the notions of cogenerator and subdirectlyirreducible in the category of S-poset. First we give somenecessary and sufficient conditions for a cogenerator $S$-posets.Then we see that under some conditions, regular injectivityimplies generator and cogenerator. Recalling Birkhoff'sRepresentation Theorem for algebra, we study subdirectlyirreducible S-posets and give this theo...
متن کاملProperties of products for flatness in the category of $S$-posets
This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products. Specifically, we characterize a pomonoid $S$ over which its nonempty products as right $S$-posets satisfy some known flatness properties. Generalizing this results, we investigate products of right $S$-posets satisfying Condi...
متن کاملREES SHORT EXACT SEQUENCES OF S-POSETS
In this paper the notion of Rees short exact sequence for S-posets is introduced, and we investigate the conditions for which these sequences are left or right split. Unlike the case for S-acts, being right split does not imply left split. Furthermore, we present equivalent conditions of a right S-poset P for the functor Hom(P;-) to be exact.
متن کاملVarious kinds of regular injectivity for $S$-posets
In this paper some properties of weak regular injectivity for $S$-posets, where $S$ is a pomonoid, are studied. The behaviour of different kinds of weak regular injectivity with products, coproducts and direct sums is considered. Also, some characterizations of pomonoids over which all $S$-posets are of some kind of weakly regular injective are obtained. Further, we giv...
متن کاملOrder dense injectivity of $S$-posets
In this paper, the notion of injectivity with respect to order dense embeddings in the category of $S$-posets, posets with a monotone action of a pomonoid $S$ on them, is studied. We give a criterion, like the Baer condition for injectivity of modules, or Skornjakov criterion for injectivity of $S$-sets, for the order dense injectivity. Also, we consider such injectivit...
متن کامل